(mu . bimap id mu)(x, (y, z))